Semantic reasoner - PDFSEARCH.IO - Document Search Engine

Semantic reasoner
Results: 196

#	Item
11	Developing an Incomplete Reasoner in Five Minutes: the Large Knowledge Collider in Action Alexey Cheptsov1 1 High-Performance Computing Center Stuttgart, Nobelstr. 19, Add to Reading List Source URL: 2012.eswc-conferences.org Language: English - Date: 2012-07-23 09:47:42 Workflow technology Business software Software Application software Workflow Semantic Web Scientific workflow system GUSE
12	IDT Series LOAIT 2009 3rd Workshop on Legal Ontologies and Artificial Add to Reading List Source URL: idt.uab.cat Language: English - Date: 2015-10-21 12:03:07 Semantic Web Computing Ontology Information science Cognitive science Knowledge representation Knowledge engineering Web Ontology Language Description logic Semantic reasoner UAB Institute of Law and Technology Leibniz Center for Law
13	¨ Kunstliche Intelligenz manuscript No. (will be inserted by the editor) Is Your Database System a Semantic Web Reasoner? Add to Reading List Source URL: korrekt.org Language: English - Date: 2016-06-06 08:03:59 Computing Data management Semantic Web Data Resource Description Framework Query languages Knowledge engineering Knowledge representation SPARQL RDF Schema Datalog Web Ontology Language
14	Chainsaw: A Metareasoner for Large Ontologies Dmitry Tsarkov and Ignazio Palmisano University of Manchester, School of Computer Science, Manchester, UK {tsarkov, palmisai}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:10 Semantic Web Logic Knowledge Knowledge representation Information science Reasoning Knowledge engineering Semantic reasoner Description logic Ontology Web Ontology Language Inference
15	DL Reasoner vs. First-Order Prover Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov\|horrocks}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:09 Automated theorem proving Reasoning Semantic Web Artificial intelligence School of Computer Science University of Manchester Knowledge representation and reasoning Description logic Vampire Semantic reasoner Automated reasoning Web Ontology Language Resolution
16	10 Developing a Submariner’s Ontology (to appear in the winter, 2011 issue of Undersea Warfare) Robert Arp, Ph.D. Add to Reading List Source URL: robertarp.webs.com Language: English Semantic Web Knowledge representation Knowledge engineering Resource Description Framework Web services SPARQL Ontology Web Ontology Language Semantic reasoner Web resource RDF Schema Draft:Outline of ontologies
17	Microsoft Word - OWLGrEd_S_OWLED_CReady_v11.doc Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-05-24 03:43:20 Semantic Web Knowledge representation Knowledge engineering Ontology Information science Web Ontology Language Resource Description Framework Semantic reasoner Mereology Ontology engineering Upper ontology
18	Semantic web semantics (M2R SWXO lecture notes) J´erˆome Euzenat INRIA & LIG, Montbonnot, France Add to Reading List Source URL: exmo.inria.fr Language: English - Date: 2016-05-03 09:10:36 Semantic Web Knowledge engineering Resource Description Framework Knowledge representation Web services Web Ontology Language Ontology RDF Schema SPARQL Query language Semantic reasoner Book:Semantic Web
19	Re-engineering OntoSem Ontology Towards OWL DL Compliance Guntis BARZDINS, Normunds GRUZITIS and Renars KUDINS Institute of Mathematics and Computer Science, University of Latvia Raina bulv. 29, Riga, LV-1459, Latvia gun Add to Reading List Source URL: www.semti-kamols.lv Language: English - Date: 2006-08-31 04:24:10 Semantic Web Knowledge engineering Knowledge representation Ontology Information science Web Ontology Language Description logic Semantic reasoner Formal ontology Frame language Resource Description Framework Ontology engineering
20	Structured Objects in OWL: Representation and Reasoning Boris Motik† Bernardo Cuenca Grau† Ulrike Sattler‡ Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Semantic Web Information science Ontology Knowledge engineering Knowledge representation Web Ontology Language Description logic Semantic reasoner Tbox Axiom Object Ontology engineering

UPDATE